International Colloquium on Automata - PDFSEARCH.IO - Document Search Engine

International Colloquium on Automata
Results: 71

#	Item
41	Theoretical Computer Science Add to Reading List Source URL: www.cs.hku.hk Language: English - Date: 2014-03-17 21:34:31 Scheduling Ning International Colloquium on Automata Languages and Programming Gymnastics Computing China at the Olympics Scheduling algorithms Operations research Planning
42	Algorithmic Game Semantics and its Applications: Final Report S. Abramsky C.-H. L. Ong 31 January 2006 Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2012-01-14 04:37:24 Logic Game semantics Denotational semantics Formal verification Programming language International Colloquium on Automata Languages and Programming Formal methods Mathematical logic Model checking Theoretical computer science Logic in computer science Applied mathematics
43	2010 Gödel Prize Call for Nominations The Gödel Prize for outstanding papers in the area of theoretical computer science is sponsored jointly by the European Association for Theoretical Computer Science (EATCS) and the Add to Reading List Source URL: www.eatcs.org Language: English - Date: 2014-01-29 10:45:05 Gödel Prize ACM SIGACT International Colloquium on Automata Languages and Programming Mike Paterson Symposium on Theory of Computing Shafi Goldwasser Association for Computing Machinery Silvio Micali Neil Immerman Computer science Theoretical computer science Applied mathematics
44	Curriculum Vitae Anna Ingólfsdóttir Reykjavik University School of Science and Engineering Department of Computer Science Add to Reading List Source URL: www.ru.is Language: English - Date: 2007-02-18 17:09:32 Models of computation Denotational semantics Logic in computer science Reykjavík University Aalborg University International Colloquium on Automata Languages and Programming Logic programming Iceland Theoretical computer science Europe Computer science
45	An extended abstract of this paper is published in the proceedings of the 40th International Colloquium on Automata, Languages and Programming—ICALP[removed]This is the full version. Outsourced Pattern Matching Sebastian Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2014-08-25 05:50:31 Transmission Control Protocol NP Commitment scheme Large cardinals Mathematics Cryptography Applied mathematics IP
46	Steve Kremer \| Curriculum Vitæ Inria Nancy - Grand Est 615 rue du Jardin Botanique, 54600 Villers-lès-Nancy, France T +[removed]60 • u +[removed]19 B [removed] • Í www.loria.fr/~skremer Add to Reading List Source URL: www.loria.fr Language: English - Date: 2013-10-16 07:24:50 Lecture Notes in Computer Science Proceedings Theoretical computer science Academia Knowledge Automata theory International Colloquium on Automata Languages and Programming Symposium on Theoretical Aspects of Computer Science
47	October 31, 2007 CURRICULUM VITAE ALAN L. SELMAN Department of Computer Science and Engineering University at Buffalo 201 Bell Hall Add to Reading List Source URL: www.cse.buffalo.edu Language: English - Date: 2007-11-06 15:06:02 Computational complexity theory NP-complete ACM SIGACT Sparse language PH Polynomial hierarchy Computer science FL International Colloquium on Automata Languages and Programming Theoretical computer science Applied mathematics Complexity classes
48	Adam Davison Smith +[removed] [removed] http://www.cse.psu.edu/˜asmith Add to Reading List Source URL: www.cse.psu.edu Language: English - Date: 2014-06-12 11:22:23 Formal sciences Symposium on Foundations of Computer Science International Colloquium on Automata Languages and Programming Symposium on Theory of Computing Silvio Micali Lecture Notes in Computer Science Entropic security Computational learning theory Quantum key distribution Theoretical computer science Cryptography Applied mathematics
49	Call for Papers International Workshop on Graph Transformation and Visual Modeling Techniques GT-VMT ’02 Barcelona, Spain Add to Reading List Source URL: www2.cs.unibw.de Language: English - Date: 2006-04-25 09:28:10 Graph theory International Colloquium on Automata Languages and Programming Diagram Semantics Applied mathematics Theoretical computer science Graph rewriting Mathematics
50	Jin-Yi Cai Curriculum Vitae Computer Sciences Department University of Wisconsin at Madison 1210 West Dayton Street Madison, WI 53706 Add to Reading List Source URL: pages.cs.wisc.edu Language: English - Date: 2014-01-20 22:47:52 ACM SIGACT International Colloquium on Automata Languages and Programming Symposium on Foundations of Computer Science Symposium on Theory of Computing Symposium on Theoretical Aspects of Computer Science Applied mathematics Computer science Theoretical computer science

UPDATE